Search Results

Special Issue of the journal Artificial Intelligence on Reformulation

• Authors : Thomas Ellman; Fausto Giunchiglia

Subjects: Linguistics and Language; Knowledge representation and reasoning; business.industry

• Source: Artificial Intelligence. 130(2):231-232

Record details

Semantic forgetting in answer set programming

• Authors : Eiter, Thomas¹, ; Wang, Kewen²,

• Source: Artificial Intelligence; Sep2008, Vol. 172 Issue 14, p1644-1672, 29p

Record details

Characterizing causal action theories and their implementations in answer set programming.

• Authors : Zhang, Haodi¹, ; Lin, Fangzhen²

• Source: Artificial Intelligence; Jul2017, Vol. 248, p1-8, 8p

Record details

Reasoning about preferences in argumentation frameworks

• Authors : Modgil, Sanjay¹

Subjects: *ARTIFICIAL intelligence; *SEMANTICS; *DEBATE

• Source: Artificial Intelligence. Jun2009, Vol. 173 Issue 9/10, p901-934. 34p.

Record details

An incremental algorithm for generating all minimal models

• Authors : Ben-Eliyahu – Zohary, Rachel¹

Subjects: *COMPUTER programming; *ARTIFICIAL intelligence; *INFORMATION theory

• Source: Artificial Intelligence. Nov2005, Vol. 169 Issue 1, p1-22. 22p.

Record details

Reasoning with infinite stable models

• Authors : Bonatti, Piero A.¹

Subjects: *COMPUTER programming; *ARTIFICIAL intelligence; *DIGITAL computer simulation

• Source: Artificial Intelligence. Jun2004, Vol. 156 Issue 1, p75. 37p.

Record details

A logic programming approach to knowledge-state planning, II: The DLVK system

• Authors : Eiter, Thomas¹ ; Faber, Wolfgang¹ ; Leone, Nicola²

Subjects: *LOGIC programming; *ARTIFICIAL intelligence

• Source: Artificial Intelligence. Mar2003, Vol. 144 Issue 1/2, p157. 55p.

Record details

Conditional independence in propositional logic

• Authors : Lang, Jérôme¹; Liberatore, Paolo²; Marquis, Pierre³

Subjects: *ARTIFICIAL intelligence; *LOGIC programming

• Source: Artificial Intelligence. Oct2002, Vol. 141 Issue 1/2, p79. 43p.

Record details

Fixed-parameter complexity in AI and nonmonotonic reasoning

• Authors : Gottlob, Georg¹ ; Scarcello, Francesco² ; Sideri, Martha³

Subjects: *ARTIFICIAL intelligence; *LOGIC programming; *REASONING

• Source: Artificial Intelligence. Jun2002, Vol. 138 Issue 1/2, p55. 32p.

Record details

Fixpoint semantics for active integrity constraints

• Authors : Luís Cruz-Filipe; Bart Bogaerts; Informatics and Applied Informatics

Subjects: Linguistics and Language; Interpretation (logic); Approximation fixpoint theory

• Source: Bogaerts, B & Cruz-Filipe, L 2018, ' Fixpoint Semantics for Active Integrity Constraints ', Artificial Intelligence, vol. 255, pp. 43-70 .

Record details